Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003404 | Najah Chridi [France] | Contributions to the automatic verification of group protocols. |
| 003487 | Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists |
| 003C22 | Pierre De Saqui-Sannes [France] ; Thierry Villemur [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] ; Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Laurent Vigneron [France] | UML Modeling and Formal Verification of Secure Group Communication Protocols |
| 003F06 | Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Towards a Constrained-based Verification of Parameterized Cryptographic Protocols |
| 004590 | Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France] | Constraints-based Verification of Parameterized Cryptographic Protocols. |
| 004E28 | Laurent Vigneron [France] ; Najah Chridi [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
| 004F93 | Najah Chridi [France] ; Laurent Vigneron [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
| 005133 | Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automatic Verification of Key Management Architecture for Hierarchical Group Protocols |
| 005641 | Najah Chridi [France] ; Laurent Vigneron [France] | Sécurité des communications de groupe |
| 005890 | Najah Chridi [France] ; Laurent Vigneron [France] | Modélisation des propriétés de sécurité de protocoles de groupe |
| This area was generated with Dilib version V0.6.33. |  |